机译:关于经典一阶逻辑的自然演绎:Curry-Howard对应,强归一化和Herbrand定理
机译:关于经典一阶逻辑的自然推论:Curry-Howard对应,强归一化和Herbrand定理
机译:论Herbrand建构逻辑的自然演绎II:一阶逻辑和算术中马尔可夫原理的库里·霍华德对应
机译:有关“使用CPS翻译进行二阶经典自然演绎的强大归一化证明”的勘误
机译:典型自然扣除与分离的强烈标准化
机译:灵活,自然演绎的自动推理机,可快速部署非经典逻辑
机译:关于经典一阶逻辑的自然演绎:Curry-Howard对应,强归一化和Herbrand定理